Action Contraction
نویسنده
چکیده
The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basically: “When no observer can see the difference.” This is worked out in detail by defining a notion of coupled split/atomic simulation refinement between systems which differ in the atomicity of their actions, and proving that this collapses to Parrow and Sjödin’s coupled similarity when the systems are composed with an observer.
منابع مشابه
Effect of imipramine and desipramine on adenosine receptors in isolated rat atria
The effect of different doses (1-50 µ M) of imipramine (IMI) and desipramine (DES) on the rate and force of contraction of isolated rat atria was studied. IMI and DES produced a dose-dependent increase in force of contraction (31- 94% for IMI and 35-118% for DES). Pretreatment of rats with reserpine (5 mg/kg) on the isolated atria with propranolol (1 µ g) inhibited the positive ionotropic eff...
متن کاملRelaxant effect of Humulus lupulus extracts on isotonic rat's ileum contractions
O Objective: Many biological studies have been done to determine the activity of medicinal plants on gastrointestinal function. Since acetylcholine is the major transmitter involved in the gastrointestinal motility and there are some evidences regarding the cholinergic modulatory effect of hops extract, in the present study spasmolytic and antispasmodic action of hops(Humulus lupulus) on acetyl...
متن کاملEvaluation of The Acute Hormonal Responses To Concentric, Eccentric And Concentric_ Eccentric Muscle Actions in Healthy Young Men
Evaluation of The Acute Hormonal Responses To Concentric, Eccentric And Concentric_ Eccentric Muscle Actions in Healthy Young Men Introduction: Resistance exercise is a potent stimulus for acute increase in the concentrations of circulating hormones such as Growth Hormone (GH) and Testosterone. Conventional resistance exercise is performed using sequential concentric (CON) and eccentric (EC...
متن کاملCytochalasin D as the depressant of contraction for the optical monitoring of action potentials in isolated rat atrium.
We used cytochalasin D to reduce contraction-related optical signals by inhibiting muscle contraction for the optical monitoring of action potentials, using a voltage-sensitive dye in isolated rat atrium preparations. The suppression of contraction-related signals was so strong that we concluded that this chemical is suitable for this purpose.
متن کاملTransmembrane potential, contraction and ATPase activity of human heart in relation to ouabain.
Effects of ouabain (10-12M to 10-5M) on the simultaneously recorded transmembrane action potential and contraction; and (Na+K+)-activated membrane ATPase of human papillary muscles were investigated. Ouabain in the concentration of 10-12M did not affect the transmembrane potential, contraction and (Na+-K+)-ATPase activity. Ouabain in the concentrations of 10-11 to 10-7M produced a concentration...
متن کاملAction Theory Evolution
Like any other logical theory, domain descriptions in reasoning about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavior of actions. The present work is about changing action domain descriptions in propositional dynamic logic. Its contribution is threefold: first we revisit the semantics of action theory contraction that has been done...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000